process algebra造句
例句與造句
- information flow models based on security process algebra
網(wǎng)絡(luò)信息系統(tǒng)的安全性及安全模型 - modeling and implementing of dss model system based on process algebra
模型系統(tǒng)建模與實(shí)現(xiàn) - application research of process algebras on performance evaluation
進(jìn)程代數(shù)在性能評(píng)價(jià)中的應(yīng)用研究 - process algebras are widely used in describing and analyzing concurrent systems
進(jìn)程代數(shù)在對(duì)并發(fā)系統(tǒng)的分析和驗(yàn)證等方面獲得了廣泛應(yīng)用。 - following the development of process algebra, many different bisimulations are introduced
隨著進(jìn)程代數(shù)的發(fā)展,許多不同的互模擬概念相繼被提出。 - It's difficult to find process algebra in a sentence. 用process algebra造句挺難的
- the-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems
演算是一種移動(dòng)進(jìn)程代數(shù)，可用于對(duì)并發(fā)和動(dòng)態(tài)變化的系統(tǒng)進(jìn)行建模。 - timed bundle event structures, is used as the system model and a real-time lotos-like process algebra is used as the specification language
動(dòng)作精化是在并發(fā)理論當(dāng)中一種很重要的層次化設(shè)計(jì)和刻畫方法。 - process algebra, as one of the important tools for describing and analyzing concurrent and distributed systems, became an central branch of research in concurrency theory
進(jìn)程代數(shù)作為描述和分析并發(fā)與分布式系統(tǒng)的重要工具之一是并發(fā)理論的主流研究方向。 - 19 goltz u, gorrieri r, rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789, 1994, pp . 385-404.20 aceto l, action refinement in process algebra . cambridge univ
即精化后的系統(tǒng)行為可以由精化前的系統(tǒng)行為和用于替換原系統(tǒng)動(dòng)作的子系統(tǒng)的行為組合推導(dǎo)出來2同余性。 - university of twente, 1996.5 fecher h, majster-cederbaum m, wu j . bundle event structures : a revised cpo approach . information processing letters, 2002, 83 : 7-12.6 katoen j-p, langerak r, brinksma e, latella d, bolognesi t . a consistent causality based view on a timed process algebra including urgent interactions
基于此，本文擴(kuò)展了傳統(tǒng)的動(dòng)作精化理論，研究具有時(shí)間指標(biāo)的并發(fā)系統(tǒng)的動(dòng)作精化理論，在我們研究的并發(fā)系統(tǒng)中，時(shí)間指標(biāo)是系統(tǒng)的一個(gè)重要參數(shù)，動(dòng)作的執(zhí)行也是需要消耗時(shí)間的，并且緊急事件也被擴(kuò)充到可以是任何事件，而不僅僅是超時(shí)事件。 - 11 katoen j-p, langerak r, latella d, brinksma e . on specifying real-time systems in a causality-based setting . lecture notes in computer science 1135, 1996, pp . 385-405.12 fecher h, majster-cederbaum m, wu j . refinement of actions in a real-time process algebra with a true concurrency model
在系統(tǒng)模型的結(jié)構(gòu)表示上，本文擴(kuò)充了傳統(tǒng)的事件結(jié)構(gòu)，使用一種帶時(shí)間信息的捆綁式事件結(jié)構(gòu)來模擬系統(tǒng)行為，在系統(tǒng)模型的語言刻畫上，本文采用的是帶時(shí)間的類lotos進(jìn)程代數(shù)描述語言，對(duì)于動(dòng)作精化，我們同樣采用算子的觀點(diǎn)，將動(dòng)作精化定義為一個(gè)操作算子。